VectorEC(void) VectorEC(VectorEC& v) VectorEC& operator=(VectorEC& g) void debug_out(ostream& c, int indent)
Standard housekeeping functions.